Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
701	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
702	Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:29:48 Software engineering Concurrency Automata theory Diagrams Petri net Markov chain Model checking Fault tree analysis Finite-state machine Models of computation Systems engineering Statistics
703	An AI Modeling Tool for Designers and Developers Dan Fu, Ryan Houlette, and Jeremy Ludwig Stottler Henke Associates, Inc. 951 Mariners Island Blvd, Suite 360 San Mateo, CA 94404 {fu, houlette, ludwig}@stottlerhenke.com Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2008-01-19 05:59:59 Behavior Human behavior Automated planning and scheduling Reactive planning Finite-state machine Application programming interface Intelligent tutoring system Action Education Automata theory Digital electronics Models of computation
704	User Guide ioflo version[removed]Document Revision[removed]Samuel M. Smith PhD 242 East 600 North Lindon Add to Reading List Source URL: ioflo.com Language: English - Date: 2015-01-09 12:59:21 Computing Knowledge representation Software engineering Frame Computer science Thread UML state machine Call stack Finite-state machine Models of computation Automata theory Digital electronics
705	Microsoft Word - KWL chart.doc Add to Reading List Source URL: www.ncsu.edu Language: English - Date: 2003-02-20 09:23:35 Question Computability theory Models of computation Social psychology KWL table Data management Data collection Grammar Human communication
706	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
707	RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-21 16:31:01 Automata theory Computer programming Finite-state machine Parallel computing Complex event processing Pattern matching Stream processing SQL Regular expression Computing Software engineering Models of computation
708	Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences, Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-04-06 09:34:25 Theoretical computer science Software engineering Parallel computing Parallel Random Access Machine Bulk synchronous parallel Distributed computing Programming language Kahn process networks Thread Models of computation Computing Concurrent computing
709	Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Automata theory Models of computation Finite-state machine
710	Physicists find a new form of quantum friction Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-17 06:05:24 Spintronics Quantum mechanics Classes of computers Models of computation Quantum computer Qubit Quantum superposition Spin Electron Physics Theoretical computer science Quantum information science

UPDATE